Inductive type